counting automata